imax(a;b) == if a z b then b else a fi  

latex

Definitions	if b then t else f fi , i z j
FDL editor aliases	imax